- tape checking
- проверка записи на магнитной ленте
English-russian dctionary of contemporary Economics. 2014.
English-russian dctionary of contemporary Economics. 2014.
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
Buffer overflow — In computer security and programming, a buffer overflow, or buffer overrun, is an anomalous condition where a process attempts to store data beyond the boundaries of a fixed length buffer. The result is that the extra data overwrites adjacent… … Wikipedia
Check weigher — Example checkweigher. Product passes on the conveyor belt where it is weighed A checkweigher is an automatic machine for checking the weight of packaged commodities. It is normally found at the offgoing end of a production process and is used to… … Wikipedia
Word processor — OpenOffice.org Writer in Version 3.2 … Wikipedia
List of Canada's Worst Handyman episodes — This is a list of episodes for the first season of the Canadian television series Canada s Worst Handyman , where the worst contestant, as determined by 25 challenges over 12 days, is given the dubious title. Format Each of the first five… … Wikipedia
Switch-technology — is a technology for automata based programming support. It was proposed by Anatoly Shalyto in 1991. It involves software specification, design, implementation, debugging, documentation and maintenance. The term “automata based programming” is… … Wikipedia
MythBusters (2011 season) — Country of origin Australia United States Broadcast Original channel Discovery Channel Original run … Wikipedia
ASCII — American Standard Code for Information Interchange (ASCII), pronEng|ˈæski [ [http://www.m w.com/cgi bin/audio.pl?ascii001.wav=ASCII Audio pronunciation for ASCII] . Merriam Webster . Accessed 2008 04 14.] is a character encoding based on the… … Wikipedia
UNIVAC II — The UNIVAC II was an improvement to the UNIVAC I that UNIVAC first delivered in 1958. The improvements included core memory of 2000 to 10000 words, UNISERVO II tape drives which could use either the old UNIVAC I metal tapes or the new PET tapes,… … Wikipedia
printing — /prin ting/, n. 1. the art, process, or business of producing books, newspapers, etc., by impression from movable types, plates, etc. 2. the act of a person or thing that prints. 3. words, symbols, etc., in printed form. 4. printed material. 5.… … Universalium
IBM NORC — The IBM Naval Ordnance Research Calculator (NORC) was a one of a kind first generation (vacuum tube) electronic computer built by IBM for the United States Navy s Bureau of Ordnance. It went into service in December 1954 and was likely the most… … Wikipedia